
#!/bin/bash
set -x
set -e

SRCDIR='`pwd`'
